The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Daniele Mundici Books

Results for Daniele Mundici

Showing 1 to 8 of 8 results
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: v. 1 (Synthese Library) Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: v. 1 (Synthese Library) by

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: v. 1 (Synthese Library)

by


ISBN 13: 9780792343837

Format: Hardcover (552 pages)
Publisher: Springer
Published: 31 Dec 1996

Save for later

 
New : $382.39  
New : $382.39
Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) by Roberto L. O. Cignoli,Itala M. L. D'Ottaviano,Daniele Mundici

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)

by Roberto L. O. Cignoli,Itala M. L. D'Ottaviano,Daniele Mundici


ISBN 13: 9780792360094

Format: Hardcover (244 pages)
Publisher: Springer
Published: 30 Nov 1999

Save for later

 
New : $174.47  
New : $174.47
Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)

by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici


ISBN 13: 9789048153367

Format: Paperback (244 pages)
Publisher: Springer
Published: 03 Dec 2010
Other Format: Hardcover

Save for later

 
New : $137.31  
New : $137.31
Logic: a Brief Course (UNITEXT / La Matematica per il 3+2) Logic: a Brief Course (UNITEXT / La Matematica per il 3+2) by Daniele Mundici

Logic: a Brief Course (UNITEXT / La Matematica per il 3+2)

by Daniele Mundici


ISBN 13: 9788847023604

Format: Paperback (130 pages)
Publisher: Springer
Published: 02 Feb 2012

Save for later

 
New : $52.89  
New : $52.89
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library) Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library) by Maria Luisa Dalla Chiara,Kees Doets,Daniele Mundici

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library)

by Maria Luisa Dalla Chiara,Kees Doets,Daniele Mundici


ISBN 13: 9780792343844

Format: Illustrated (516 pages)
Publisher: Springer
Published: 31 Dec 1996

Save for later

 
New : $352.71  
New : $352.71
Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science) Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science) by Daniele Mundici,Alexander Leitsch,Georg Gottlob

Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob


ISBN 13: 9783540571841

Format: Paperback (372 pages)
Publisher: Springer
Published: 13 Aug 1993

Save for later

 
New : $63.35  
New : $63.35
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science) Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science) by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science)

by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato


ISBN 13: 9783540612087

Format: Paperback (348 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $73.57  
New : $73.57
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science) Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science) by Daniele Mundici,Alexander Leitsch,Georg Gottlob

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob


ISBN 13: 9783540633853

Format: Paperback (364 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $83.79  
New : $83.79